Revision: arnesi--dev--1.0--patch-45
Archive: bese-devel@common-lisp.net
Creator: Marco Baringer <mb@bese.it>
Date: Tue Oct 28 17:06:37 CET 2003
Standard-date: 2003-10-28 16:06:37 GMT
New-files: doc/.arch-ids/arnesi.tex.id doc/arnesi.tex
Removed-files: doc/.arch-ids/manual.texi.id doc/manual.texi
New-patches: bese-devel@common-lisp.net/arnesi--dev--1.0--patch-45
Summary: move back to latex documentation
Keywords: 

